prolog './g000a.ijs'
NB. B = B ---------------------------------------------------------------

x=: ?100$2
y=: ?100$2
(x=y) -: (#.x,.y){1 0 0 1
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:?2
(x=z) -: x=($x)$z    [ z=:?2

(x=y) -: (40$"0 x)=y [ x=: ?10$2    [ y=: ?10 40$2
(x=y) -: x=40$"0 y   [ x=: ?10 40$2 [ y=: ?10$2

1 0 0 1 -: 0 0 1 1 = 0 1 0 1


NB. B = I ---------------------------------------------------------------

x=: ?100$2
y=: _1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:?2
(x=z) -: x=($x)$z    [ z=:_1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: ?10$2    [ y=: _1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: ?10 40$2 [ y=: _1e2+?10$2e2

1 0 0 1 0 0 0 0 -: 0 0 1 1 0 0 1 1 = 0 1 0 1 _4 3 4 _3


NB. B = D ---------------------------------------------------------------

x=: ?100$2
y=: o._1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:?2
(x=z) -: x=($x)$z    [ z=:o._1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: ?10$2    [ y=: o._1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: ?10 40$2 [ y=: o._1e2+?10$2e2

1 0 0 1 0 0 0 0 -: 0 0 1 1 0 0 1 1 = 0 1 0 1 _2.5 1.2 _2.5 1.2
1 0 0 1 0 0 0 0 -: 0 0 1 1 0 0 1 1 = 0 1 0 1 __ _ __ _
(14 6#0 1) -: 1=1+10^-i.20


NB. I = B ---------------------------------------------------------------

x=: _1e2+?100$2e2
y=: ?100$2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:_1e2+?2e2
(x=z) -: x=($x)$z    [ z=:?2

(x=y) -: (40$"0 x)=y [ x=: _1e2+?10$2e2    [ y=: ?10 40$2
(x=y) -: x=40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: ?10$2

1 0 0 1  0 0 0 0 -: 0 0 1 1  _3 _3 4 4 = 0 1 0 1  0 1 0 1   
0 0 0 0 -: 2147483647 2147483647 _2147483648 _2147483648 = 0 1 0 1


NB. I = I ---------------------------------------------------------------

x=: _1e2+?100$2e2
y=: _1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:?2e6
(x=z) -: x=($x)$z    [ z=:_1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: _1e2+?10$2e2    [ y=: _1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: _1e2+?10$2e2

(_10{.1) -: 9=i.10


NB. I = D ---------------------------------------------------------------

x=: _1e2+?100$2e2
y=: o._1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:?2e6
(x=z) -: x=($x)$z    [ z=:o._1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: _1e2+?10$2e2    [ y=: o._1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: o._1e2+?10$2e2

(14 6#0 1) -: 17=17*1+10^-i.20


NB. D = B ---------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: ?100$2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:o._1e2+?2e2
(x=z) -: x=($x)$z    [ z=:?2

(x=y) -: (40$"0 x)=y [ x=: o._1e2+?10$2e2    [ y=: ?10 40$2
(x=y) -: x=40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: ?10$2

(14 6#0 1) -: (1+10^-i.20)=1


NB. D = I ---------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: _1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:o._1e2+?2e2
(x=z) -: x=($x)$z    [ z=:_1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: o._1e2+?10$2e2    [ y=: _1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: _1e2+?10$2e2

(14 6#0 1) -: (17*1+10^-i.20)=17


NB. D = D ---------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: o._1e2+?100$2e2
(x=y) -: (z+x)=z+y   [ z=:{.0 4.5
(x=y) -: (z*x)=z*y   [ z=:{.1 4j5
(z=y) -: (($y)$z)=y  [ z=:o._1e2+?2e2
(x=z) -: x=($x)$z    [ z=:o._1e2+?2e2

(x=y) -: (40$"0 x)=y [ x=: o._1e2+?10$2e2    [ y=: o._1e2+?10 40$2e2
(x=y) -: x=40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: o._1e2+?10$2e2

(14 6#0 1) -: _17.4=_17.4*1+10^-i.20




epilog''

